Declaratively distributed deductive databases The L10 logic programming language
نویسندگان
چکیده
We present the design of L10, a rich forward-chaining (a.k.a. “bottom-up”) logic programming language. L10 allows parallel computation to be explicitly specified through the use of worlds, a logically-motivated concept that has been used to describe distributed functional programming. An interpreter for L10 runs these logic programs on top of the infrastructure of the X10 programming language, and is responsible for mapping between L10’s worlds and places, the related X10 construct for describing distributed computation.
منابع مشابه
An Inductive Logic Programming Query Language for Database Mining
First, a short introduction to inductive logic programming and machine learning is presented and then an inductive database mining query language RDM (Relational Database Mining language). RDM integrates concepts from inductive logic programming, constraint logic programming, deductive databases and meta-programming into a flexible environment for relational knowledge discovery in databases. Th...
متن کاملThe L 10 logic programming language
We present the preliminary design of L10, a rich forward-chaining (a.k.a. “bottom-up”) logic programming language. L10 allows parallel computation to be explicitly specified through the use of worlds, a logically-motivated concept that has been used to describe distributed functional programming. An interpreter for L10 runs these logic programs on top of the infrastructure of the X10 programmin...
متن کاملDeclarative Rules for Annotated Expert Knowledge in Change Management
In this paper, we use declarative and domain–specific languages for representing expert knowledge in the field of change management in organisational psychology. Expert rules obtained in practical case studies are represented as declarative rules in a deductive database. The expert rules are annotated by information describing their provenance and confidence. Additional provenance information f...
متن کاملLanguage Extensions for Semantic Integration of Deductive Databases
A language in support of semantic integration of deductive databases is proposed. The language allows one to construct mediators by extending logic programming with a suite of operators for composing programs and message passing features. The abstract semantics and implementation techniques of the extensions are discussed, and an example of integration of databases supporting libraries and depa...
متن کاملTabulation of Functions in Definite Clause Programs
An extended version of the applicative caching technique from functional programming is adapted to OLD resolution as an alternative to OLDT resolution for predicates that are actually functions. An inference system, OLDTF resolution, is given with a proof procedure. It is argued why this special case is interesting in its own right also outside the area of deductive databases. It is outlined ho...
متن کامل